[[Ring theory MOC]]
# Simple ring

A [[ring]] $R$ is called **simple** iff it has no nontrivial proper [[ideal]], #m/def/ring 
i.e. $I \trianglelefteq R$ implies $I = 0$ or $I = R$.
Clearly such a ring is a [[principal ideal ring]].


#
---
#state/develop | #lang/en | #SemBr